#!/bin/bash
LD_LIBRARY_PATH=/usr/local/lib ltl2tgba -s "$@" | sed 's/(\(v[0-9]\+\))/\1/g' | sed 's/(\(!v[0-9]\+\))/\1/g' | sed 's/(safe)/safe/g' | sed 's/(!safe)/!safe/g' | sed 's/(true)/true/g; s/true/(v1 || !v1)/g'
#| sed 's/(true)/true/g'
